Heyting Mereology as a Framework for Spatial Reasoning
نویسندگان
چکیده
منابع مشابه
Heyting Mereology as a Framework for Spatial Reasoning
In this paper it is shown that Heyting and Co-Heyting mereological systems provide a convenient conceptual framework for spatial reasoning, in which spatial concepts such as connectedness, interior parts, (exterior) contact, and boundary can be defined in a natural and intuitively appealing way. This fact refutes the wide-spread contention that mereology cannot deal with the more advanced aspec...
متن کاملRough Mereology as a Tool for Knowledge Discovery and Reasoning in Intelligent Systems: A Survey
In this work, we present an account of our recent results on applications of rough mereology to problems of 1) knowledge granulation; 2) granular preprocessing in knowledge discovery by means of decision rules; 3) spatial reasoning in multi-agent systems in exemplary case of intelligent mobile robotics.
متن کاملSpatial Reasoning as Verbal Reasoning
We introduce an approach for how spatial reasoning can be conceived as verbal reasoning. We describe a theory of how humans construct a mental representation given onedimensional spatial relations. In this construction process objects are inserted in a dynamic structure called a “queue” which provides an implicit direction. The spatial interpretation of this direction can be chosen freely. This...
متن کاملCLP(QS): A Declarative Spatial Reasoning Framework
We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We systematically formalize and implement the semantics of a range of qualitative spatial calculi using a system of non-linear polynomial equations in the context of a classical constraint logic programming framework. Whereas CLP(QS...
متن کاملRough mereology: A new paradigm for approximate reasoning
We are concerned with formal models of reasoning under uncertainty. Many approaches to this problem are known in the literature e.g. Dempster-Shafer theory, bayesian-based reasoning, belief networks, fuzzy logics etc. We propose rough mere-ology as a foundation for approximate reasoning about complex objects. Our notion of a complex object includes approximate proofs understood as schemes const...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Axiomathes
سال: 2012
ISSN: 1122-1151,1572-8390
DOI: 10.1007/s10516-011-9180-x